Buy Used and New Ewing Lusk Books

9Th International Conference On Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Lecture Notes in Computer Science): 310

by Ewing Lusk

ISBN 13: 9783540193432

Format: Paperback (792 pages)
Publisher: Springer
Published: 13 Jun 1988

Save for later